download all originals (max 500 MB)| Name | Format | # Lines | Size | Date |
|---|---|---|---|---|
| Barber.factors | Text File | 33 | 988 b | 1993-01-02 |
| Cannibals.v1 | Text File | 109 | 3.8 KB | 1993-01-02 |
| Cannibals.v2 | Text File | 63 | 1.8 KB | 1993-01-02 |
| Cannibals.v3 | Text File | 52 | 1.4 KB | 1993-01-02 |
| Circuit.ex | Text File | 74 | 2.3 KB | 1993-01-02 |
| Equivalence.ex | Text File | 36 | 1.4 KB | 1993-01-02 |
| Group.Ex | Text File | 40 | 1.2 KB | 1993-01-03 |
| Group2.ex | Text File | 45 | 1.1 KB | 1993-01-03 |
| JobsPuzzle.ex | Text File | 127 | 4.1 KB | 1993-01-02 |
| Mockingbird.ex | Text File | 73 | 2.9 KB | 1993-01-02 |
| NfromQ | Text File | 34 | 763 b | 1993-01-02 |
| Socrates.ex | Text File | 69 | 1.9 KB | 1993-01-02 |